Детерминированный конечный автомат

**Детерминированным конечным автоматом (ДКА)** называется пятерка $A = (Q, \Sigma, \delta, s, T)$, где - $Q$ – множество состояний - $\Sigma$ – алфавит - $s \in Q$ – начальное состояние - $T \subseteq Q$ – множество терминальных состояний - $\delta \colon Q \times \Sigma \to Q$ Автомат **распознает (допускает)** слово $w$, если $\delta(s, w) \in T$ Множество всех слов, распознаваемых автоматом называется **языком, распознаваемым автоматом** $A$ и обозначается $L(A)$